Characteristic set method for differential-difference polynomial systems
نویسندگان
چکیده
In this paper, we present a characteristic set method for mixed differential and difference polynomial systems. We introduce the concepts of coherent, regular, proper irreducible, and strongly irreducible ascending chains and study their properties. We give an algorithm which can be used to decompose the zero set for a finitely generated differential and difference polynomial sets into the union of the zero sets of regular and consistent ascending chains. As a consequence, we solve the perfect ideal membership problem for differential and difference polynomials. © 2009 Elsevier Ltd. All rights reserved.
منابع مشابه
Monodromy problem for the degenerate critical points
For the polynomial planar vector fields with a hyperbolic or nilpotent critical point at the origin, the monodromy problem has been solved, but for the strongly degenerate critical points this problem is still open. When the critical point is monodromic, the stability problem or the center- focus problem is an open problem too. In this paper we will consider the polynomial planar vector fields ...
متن کاملProperties of Ascending Chains for Partial Difference Polynomial Systems
A characteristic set theory for partial difference polynomial systems is proposed. We introduce the concept of coherent and regular ascending chains and prove that a partial difference ascending chain is the characteristic set of its saturation ideal if and only if it is coherent and regular. This gives a method to decide whether a polynomial belongs to the saturation ideal of an ascending chai...
متن کاملA characteristic set method for ordinary difference polynomial systems
We prove several basic properties for difference ascending chains including a necessary and sufficient condition for an ascending chain to be the characteristic set of its saturation ideal and a necessary and sufficient condition for an ascending chain to be the characteristic set of a reflexive prime ideal. Based on these properties, we propose an algorithm to decompose the zero set of a finit...
متن کاملNUMERICAL SOLUTION OF THE MOST GENERAL NONLINEAR FREDHOLM INTEGRO-DIFFERENTIAL-DIFFERENCE EQUATIONS BY USING TAYLOR POLYNOMIAL APPROACH
In this study, a Taylor method is developed for numerically solving the high-order most general nonlinear Fredholm integro-differential-difference equations in terms of Taylor expansions. The method is based on transferring the equation and conditions into the matrix equations which leads to solve a system of nonlinear algebraic equations with the unknown Taylor coefficients. Also, we test the ...
متن کاملPolynomial and non-polynomial solutions set for wave equation with using Lie point symmetries
This paper obtains the exact solutions of the wave equation as a second-order partial differential equation (PDE). We are going to calculate polynomial and non-polynomial exact solutions by using Lie point symmetry. We demonstrate the generation of such polynomial through the medium of the group theoretical properties of the equation. A generalized procedure for polynomial solution is pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 44 شماره
صفحات -
تاریخ انتشار 2009